#stxquote(#val(1))
#stxquote(#val(1))
#stxquote(#val(1))