aha/kernel/bounds.c