/* VM output consumer callback. Each time the virtual machine generates some outputs, the following function gets called by the underlying virtual machine to consume the generated output. All this function does is redirecting the VM output to STDOUT. This function is registered later via a call to ph7_vm_config() with a configuration verb set to: PH7_VM_CONFIG_OUTPUT.  */
static int Output_Consumer(const void *pOutput, unsigned int nOutputLen, void *pUserData)
/* VM output consumer callback. Each time the virtual machine generates some outputs, the following function gets called by the underlying virtual machine to consume the generated output. All this function does is redirecting the VM output to STDOUT. This function is registered later via a call to ph7_vm_config() with a configuration verb set to: PH7_VM_CONFIG_OUTPUT.  */
static int Output_Consumer(const void *pOutput, unsigned int nOutputLen, void *pUserData)
{
	printf("%.*s", 
		nOutputLen, 
		(const char *)pOutput
		);
	return PH7_OK;
}