simplifying the logic in mkBRAMReadClient