original_kernel/kernel/uid16.h