BSDの VM は Frantz Lispを動かすために作られたというのは
ほんとうですか?