Welcome to the GBF Test Portal

function onCreated()
{
    lit#2 = true;
    temp.thingOne = lit#2;
    lit#4 = true;
    temp.thingTwo = lit#4;
    lit#6 = false;
    temp.thingThree = lit#6;
    // RegionId(0)
    // RegionId(1)
    if (temp.thingOne) 
    {
    }
    phi<idx=1, regions=()> = phi<idx=0, regions=()>;
    lit#8 = "simpleAndTwo: ";
    fn_call#10 = echo#9(lit#8 @ temp.simpleAndTwo);
    lit#11 = 0;
    return lit#11;
}