asmspectest print_i32