$a main $a 0 inf $a 10 $a $a plus $a 1