put_int: 23