Moved implementations from machine_down.hpp to machine_down.cc.