1.0.13.11: ensure that sb-cover records don't clash with constants in user code