Is it safe to fall through here? What about 32 bit posix?