add check for return type, check main is void no args