williamr@0: concept_checks.h