We need to make `dummy_{shadow,origin}_load_page` read-only and `dummy_{shadow,origin}_store_page` write-only to make sure they are used correctly.