bonito_setintrmask
bonito_setintrmask(newipl);
void bonito_setintrmask(int);
bonito_setintrmask(level);