init
	if true do assert( true ); return
	assert_not_reached()