Support for the INVOKE statement