#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] = 1, 2, 3, 4;

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