// XXX provide documentation and implementation INIT: rts