Specify that FFI calls push a value onto the stack