format print_ab.s