I'm apparently thinking about execution modules when we're talking about state modules. But in theory the same could happen with state modules. Perhaps we don't need to worry about it for now though.