int do_math(int a)
{
    int b = 3
    vaddr mem1 = [ b - 2 : 3.14 , 2 : 23 , 11 : 1004 , -2.3 : 35934.0232 ]
    vcov k3
    int x = a * 5 + 3
}

int memcheck(int q )
{
    int b = 3
    vaddr c = [ 2 : 3.14 , 2 : 23 , 11 : 1004 , -2.3 : 35934.0232 ]
    vcov Class1
    vcov Class2
    vcov MyCov = [ (1,2) : 3 , (2,2) : 343 , (2,1) : 2.1 ]
    Class1 = (MyCov)c
    Class2 = (MyCov)[ (1,2) : 3 , (2,2) : 343 , (2,1) : 2.1 ]

    if( 1 ) {
        do_math( 10 )
    }
}

memcheck( 11 )