package nat; typedef EntryRef = String;