PanLinx
日本語
jpn-000
抽象機械
English
eng-000
virtual machine
PanLex
