Re: Correct use of the ok function in user/tests and kernel/tests