It's not undefined behavior, afaik.