#include <stdio.h> extern int slipperySymbol(); int main(int argc, const char* argv[]) { slipperySymbol(); return 0; }