// Intentionally unguarded end-pack header used in tests