メモリ安全性と停止性を事前検証してjitするのすごい