#include <perms.h>

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

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

  //     2    %string (31) source

  _imp_string31 SOURCE;

  //     3    %string (255) dest

  _imp_string255 DEST;

  //     4    source = "literal"

  _imp_strncpy(/*?*/ &SOURCE, ({
                 __typeof__(_imp_string255) tmp; /*B*/
                 tmp = _imp_str_literal("literal");
                 (void *)&tmp;
               }),
               /*max:*/ 31);

  //     5    dest = source

  _imp_strncpy(/*?*/ &DEST, ({
                 __typeof__(_imp_string31) tmp; /*B*/
                 tmp = SOURCE;
                 (void *)&tmp;
               }),
               /*max:*/ 255);

  //     6  %endofprogram

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