/* This file completes the definitions of some types and functions
 * for assert, which are declared in assert.h.
 */
#include <assert.h>

/*@ depends_on \nothing; */
$atomic_f void assert(_Bool expr){
  $assert(expr);
}