#include <perms.h>
static int ABC;
static int DEF;