else if (val instanceof HBool)
out.print(val);
else if (val instanceof HNum)
out.print(((HNum) val).val);
else if (val instanceof HRef) {
HRef ref = (HRef) val;
StringBuilder s = new StringBuilder();
s.append("@").append(ref.val);
if (ref.dis != null)
s.append(" ").append(ref.dis);
out.print(HStr.toCode(s.toString()));