deferred class
	RT_EXTENSION_COMMON

General
	cluster: debug_implementation
	description: "Common routine for RT_EXTENSION classes"

Ancestors
	ANY

Commands
	dtrace (m: STRING_8)
	dtrace_indent (n: INTEGER_32)

Generated by ISE EiffelStudio