generate slightly better code for ccall argument-pushing on x86