#ifndef _print_h #define _print_h int stderr_println(char* text); #endif