a: 42
ensure [a = 42]