Re: [IMP-dev] [IMP-commits] r3874 - trunk/kernel/src