Some work on address trace generation.