Helper functions for executing the abstract machine