Invalid return values and NullAlloweds