two register args popped by call_into_c, avoiding potential stack corruption. Noted by Daniel Barlow.