#include <perms.h>
static void TEST(void) {
  _imp_enter();
  short R1;
  int R2;
  int R3;
  WRITE(R1, 1);
  SPACES(R2);
  NEWLINES(R3);
  R1 = R1 + 1;
  R2 = R2 + R2;
  R3 = R1 + R2;
  _imp_leave();
}