proc run*() = echo "Run!"