とはいえ、任意の言語機能が使えるとやばい深くなり、むずくなるということがおきがちなんだろう。ループさせないとかの制約がありつつも、いい感じになったBPFみたいに、もうちょっといい制約ポイントが発見されるべきなんじゃないんだろか