output a.out,pass the fac case!