// PingPongOS - PingPong Operating System void mqueue_init() { }