<@7> <$local(dir) = argv#0>