I think the IPv4 "evil" bit [0] already does this :)

[0] https://datatracker.ietf.org/doc/html/rfc3514