updated printast.sml