#!/bin/sh public_symbols_txt=$1 symbol_prefix=$2 cat <