Debugging.

Fixed a memcpy error in push_int.