--emit-symbol-map option