+static InstrPtr disInfo16 ( StgBCO *bco, InstrPtr pc, char* i )
+{
+ StgWord x = bcoInstr16(bco,pc);
+ StgInfoTable* info = bcoConstInfoPtr(bco,x);
+ pc+=2;
+ /* ToDo: print contents of infotable */
+ fprintf(stderr,"%s ",i);
+ printPtr(stgCast(StgPtr,info));
+ return pc;
+}
+