#include <perms.h>
static const int Cb1 = 1;
static const int Cint1 = Cb1 + 3 * 4;
static const int Cint2 = Cint1 + 321;