One of the implementors of the Tools.ATermLibrary. ----- CategoryPeople