Edit: uintn-identity.h