deriving_machine
