demo: nicer output of IR points