gcc/testsuite/g++.dg/contracts/preload_nocontinue_handler/assert_fail.cpp

#include <iostream>

int main(int, char**) {
	int x = 0;
	[[ assert: x < 0 ]];

	std::cout << "returning from main" << std::endl;
	return 0;
}