@moritzheiber yes, openbsd wasn’t affected (probably because they tend to pay closer attention to detail) someone from hacker news (apparently the author of “JPC” a Java x86 emulator) thought it was clear and implemented it correctly himself.