typechecking command line args