verifying_machine
