refactor CALL into EXTCALL and INTCALL, in preparation for INTCALL
implement INTCALL