RTExRep is located in:
runtime/src/ex_stack/RTExRep.i3
runtime/src/ex_frame/RTExRep.i3