[not_a_bijection]

Not in C, unless at least one of the pointers were marked `restrict`.