function _main(argv: string) = ()