Ideas Research Ideas create a external core compatible pretty printer for core-dump AST ; feed the whole program external core to HRC