typedef A = bits ();
typedef B = bits (x);
typedef C = bits (x, y, z);
typedef D = uint16 bits (x, y, z);
typedef E = bits (5 bits r, 6 bits g, 5 bits b);
typedef F = bits (x, y, 2 bits uint16 z);
typedef G = uint16 bits (5 bits r, 6 bits g, 5 bits b);
typedef H = uint32 bits (x, y, 2 bits uint16 z);
count constant = 3;
typedef I = bits (3+constant bits x, constant+(constant+1) bits y);
typedef J = uint16 bits (3+constant bits x, constant+(constant+1) bits y);

() test()
{
    var bool t;
    var B b;
    b.x = :true;
    
    var C c;
    c.x = :false;
    c.y = :true;
    
    /*var D d;
    d.x = :false;
    d.y = :true;*/
    
    var E e;
    e.r = 31;
    e.g = 63;
    e.b = 31;
    
    var F f;
    f.x = :false;
    f.y = :true;
    f.z = 2;
    
    var I i;
    i.x = 63;
    i.y = 31;
    
    /*var J j;
    j.x = 63;
    j.y = 31;*/
}