local function check42(x)
    assert(x == 42, "x must be 42")
end

local x = 42
check42(x)  -- ok
x = 43
check42(x)  -- error