Also..
If you say that there is only a single task for each priority, this means that there can only be 4 tasks, because the SDK, currently only defines enums for 4 priorities, 0,1,2, and MAX.
This also presumes there are no system tasks.
How do we know there are no other system tasks running at these priorities?
Unless these processes are all user processes, and we are saying you can only have 4, so if you want to have 2 bits of separate code running at priority 0, you must put them in the same function.?