#ifndef PLAYGROUND_H #define PLAYGROUND_H extern "C" void halt(); #endif