seem to have an extra argument for opcode 143...

…but the spec doesn't mention it.