eliminate <emulator> removed <type> options