(test-uint 4u)