Error with Keil RTX5 tutorial

Hi,

I'm trying to learn the workings of/with the Keil RTX5, using the supplied tutorial.

During the first steps I do encounter a compiling error in the function "uint32_t os_Error (uint32_t code, void *object_id)". All the error codes os_ErrorStackUnderflow, os_ErrorISRQueueOverflow, os_ErrorTimerQueueOverflow, case os_ErrorClibSpace and os_ErrorClibMutex are unknown.

What I'm doing wrong?

Any help appreciated, Hans