HsDev.Args rewritten