better ast printing