#x:return-type  dzn_return =