crash support in RMs TODO: client interface