2 void callFunction(Thread* thread);
4 // Return from the current function
5 // If the stack is empty, end the thread
6 void returnFromFunction(Thread* thread);
8 // Call a function on a new thread
9 void startThread(Thread* thread);
11 // Process a message in the inbox
12 // If the inbox is empty, defer to another thread
13 void receive(Thread* thread);
15 // Send a message to another thread's inbox
16 void send(Thread* thread);
19 void add(Thread* thread);