0: introspection implementation