| ["regen"] => Main.requestRegen ()
| ["rmuser", user] => Main.requestRmuser user
| ["ping"] => OS.Process.exit (Main.requestPing ())
+ | ["slave-shutdown"] => Main.requestSlaveShutdown ()
+ | ["slave-ping"] => OS.Process.exit (Main.requestSlavePing ())
| _ => print "Invalid command-line arguments\n"