Checking for writing at constant memory addresses