#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %endoffile