1. valid main arguements인지 검사

main의 인자가 valid하지 않은 경우는 총 3가지가 존재한다.