C allocators: Add cross-reference to C integer arithmetic