emu_posix spec