() test()
{
    int i = 255;

    typeassert i is byte;
    byte b = i;

    typeassert i is uint32 else { }
    uint32 ui32 = i;
    
    typeassert i is int32 else return;
    int32 i32 = i;

    int j = -32768;
    typeassert j is int16 do {
        int16 i16 = j;
    }
    
    uint32 k = 12;
    typeassert k is int do {
        int k1 = k;
    } else {
    }
    
    uint32 l = 12;
    typeassert k is int do return; else return;
}