#include <perms.h>
static int Fred[10 /*0:9*/];