#pragma GCC system_header
#pragma GCC visibility push(default)
#include_next <Kerberos/Kerberos.h>
#pragma GCC visibility pop