let build x = let (_,_, machine) = build' x in machine