Small program design specification