add debugging accessors