/*
** assert.h
*/

void assert() { ensures true; }