archive-before-execute|HIGH|ArchiveBeforeExecute.daml|15|1|Contract archived via 'archive' at line 15 before try/catch block at line 19. If execution fails, the archived contract is permanently consumed.|archive a\n  ...\n  try do ...
archive-before-execute|HIGH|ArchiveBeforeExecute.daml|17|1|Contract archived via 'archive' at line 17 before try/catch block at line 19. If execution fails, the archived contract is permanently consumed.|archive b\n  ...\n  try do ...
