Add OF_NO_RETURN and OF_UNREACHABLE