It's only used in assertions, and hence not really needed for correct
code generation.