These were used in the FX/40, FX/80 and VFX machines.
これは FX/40、FX/80、VFX というマシンで使われた。