working translation; TODO: optimize, process other symbols