static Int boxed(int i) { ret i; }
static Long boxed(long l) { ret l; }