case foo; in 1 => a then true; end
