propagating counts through to data sections
"make check" checks propagation which passes
make tasks to show annotation along-side assembler