symbolic transactions with Symbol object