#include <perms.h>
static int VARIABLE = 1;
static int ANOTHER = 2;
static int *POINTER = &VARIABLE;
static int *PTR = &ANOTHER;
static int RA[(3) - (0) + 1];

/*TO DO: PROCEDURE BODY at line 2662*/