#!/bin/sh

echo -n "Total size: "
dc -e `awk <mapfile '/^.text/{print "16i" toupper(substr($3, 3)) "p"}'`
