* fixed pushInt()