Tools to map between concrete and agiga representations