instructions numbering, heaprefs