Renamed addr_counter to addr

Just a style change. There's one main address; no need to qualify that.
Use stdbool