#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %BEGIN

int main(int argc, char **argv) { /*%begin*/
  _imp_initialise(argc, argv);

  //     2  %OWNSTRING(10) A="0123456789"

  static _imp_string10 A = _imp_str_init("0123456789");

  //     3        WRITE(LENGTH(A),4)

  _imp_WRITE(*_imp_LENGTH((_imp_string255 *)/*p*/ /*?*/ &A), 4);

  //     4        NEWLINE

  _imp_NEWLINE();

  //     5        PRINTSTRING(A)

  _imp_PRINTSTRING(
      *({
        __typeof__(_imp_string10) tmp = A /*q*/;
        (_imp_string255 *)&tmp;
      })
  );

  //     6  %ENDOFPROGRAM

  _imp_stop(0);
  return 0;
end_0:;
}