a.out execution corrected