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