typedef a = int#[2];
typedef b1 = int#[2,3];
typedef b2 = int#[3]#[2];
typedef c1 = int#[2,3,4];
typedef c2 = int#[4]#[3]#[2];

typedef d = int#[undefined];