; ps: POSIX has it, this shell cannot: it says so, and fails.
(err-write "ps: not supported by rocchetto on " (if (= HOSTNAME "") MACHINE HOSTNAME) "\n")
(exit-status 1)