"militærleirbygning" er et 18-bokstavers substantiv som brukes som synonym for "Gardeleiren". Gardeleiren betyr: Bygning i en militærleir.