argc and argv are now available in interactive mode