

local T = true
local F = false

terra check()
    var a = true
    return not true == false
end
terra check2()
    var a = true
    return not true == false
end

terra check3()
    var a = true
    return not true == false
end

terra check4()
    var a = true
    return not true == false