$a main $a condexp inf $a 10 0 1