main() should pass in argv explicitly