* kernel/lib/lib.h: misc