// Intentionally unguarded begin-pack header used in tests