process fn (MakeCase updatefile l n)
    = makeCase fn updatefile l n
process fn (MakeCase updatefile l n)
    = makeCase fn updatefile l n
process fn (MakeCase updatefile l n)
    = makeCase fn updatefile l n