There was a video on YouTube (in russian) where lead developer from MCST confess that they were unable to use this technology in practice. The entire software stack should be ported to strictly eliminate any usage of pointer magic in every place. They poured years on this and only succeed on porting libc and few small base libraries.