Yeah, `value` is not a pointer. If you have any breakage here, you should fix the caller. `enforce` is behaving as intended I think.