void Log(PRT_STEP step, PRT_MACHINEINST *sender, PRT_MACHINEINST *receiver, PRT_VALUE* event, PRT_VALUE* payload) { PrtPrintStep(step, sender, receiver, event, payload); }
void Log(PRT_STEP step, PRT_MACHINEINST *context) { PrtPrintStep(step, context); }