spec definition for yags_util.erl