I\'m implementing MY_VERIFY macro to verify values at runtime and terminate if value is bad. Currently I use the following version of MY_VERIFY:
template