argument verification in main