DONE figure out why -8(%rbp) holds the wrong value
fold tests into a top-level Makefile