refactor @reads, @writes, prom_maps