HelenOS sources

CHECK_INT_TYPE    107 kernel/generic/src/main/main.c CHECK_INT_TYPE(8);
CHECK_INT_TYPE    108 kernel/generic/src/main/main.c CHECK_INT_TYPE(16);
CHECK_INT_TYPE    109 kernel/generic/src/main/main.c CHECK_INT_TYPE(32);
CHECK_INT_TYPE    110 kernel/generic/src/main/main.c CHECK_INT_TYPE(64);