++ Contributed by Yixin Cao
)co "case.spad"
b:=convert("b")@Symbol
c:=b::Syntax
test c