internal machine representation