42 : i32
123 : i32