i gave a talk at LABITCONF (and satsconf!) last month about 'introspection' and a few opcodes that enable it. the presentation is in spanish, but i rerecorded the talk in english here!