cancelpoint_msgrcv
ADD_TEST_CANCELPOINT(cancelpoint_msgrcv);
TEST_CANCELPOINT(cancelpoint_msgrcv, __nothing)