void assert(int check);