main :: () -> void { test(u64,i64); }; test :: (from:type, to:type) -> void { if from == to print_u64 1234; else print_u64 4321; };