main :: () -> void {
  a :getType(i64,u64)= 0;
  while a < 10 {
    print_u64 a;
    a += 1;
  }
};

signed :: false;

getType :: (a:type,b:type)->type {
  if signed
    return a;
  else
    return b;
};