turn ast printing on for hol-light example
correctly init refs