#!/bin/bash

indent() {
    sed 's/^/    /'
}

echo Source lines:
sed 's/.*: //' $1.c.d | xargs wc -l | indent

echo
echo Compiled bytes:
ls -sh $1.c | indent
ls -sh $1 | indent