// Kernel-only symbols
%ignore init_predefs;
%ignore term_predefs;

%include "ints.i"