function age() {return real(1,120)} BEGIN{ def(_Names, "tom,tim,tam")} function name() { return nominal(_Names) } function waits(m,s) { return normal(m,s) } function _age( str) { str="age"; if (str in Cache) return Cache[str]; return Cache[str]=age() } function _name( str) { str="name"; if (str in Cache) return Cache[str]; return Cache[str]=name() } function _waits(m,s, str) { str="waits/" m "/" s; if (str in Cache) return Cache[str]; return Cache[str]=waits(m,s) }