print "\n"))
| "rmdom" :: doms => Main.requestRmdom doms
| ["regen"] => Main.requestRegen ()
+ | ["regen", "-tc"] => Main.requestRegenTc ()
| ["rmuser", user] => Main.requestRmuser user
| ["ping"] => OS.Process.exit (Main.requestPing ())
| ["slave-shutdown"] => Main.requestSlaveShutdown ()