I think this needs to be `restrict`.