init
	if false
		assert_not_reached()
	else
		assert( true )
		return
	assert_not_reached()