Option with emulation of trampolines doesn't work!