use null_heap instead of %_. 0 to avoid printing problems
use null_heap instead of %_. 0 to avoid printing problems

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle