Make use of the new find_symbol_pos function