Add Machine.v