// PingPongOS - PingPong Operating System

void sem_init()
{
}