main()'s arguments now correctly declared.