$set def [eros.checker]
$@getusers
$assign checker.out sys$output
$run checker
$deassign sys$output