def main() : exec /bin/sh {
  echo "Hello from $0 $1 $$"
}