assert positive argc in tmain