;;

extended machine post