main :: () -> void { a :getType(i64,u64)= 10; while a > 0 { print_u64 a; a = a -1; } }; signed :: false; getType :: (a:type,b:type)->type { if signed return a; else return b; };