added --print-sym