There's a slight problem with .rtInfo pointer: it is single. While, custom RTInfos may now be multiple. And they will fight to write to this pointer. Either we need some way to merge multiple rtInfos (like .next in exceptions??) or we need to forget it for now...