First attempt to avoid that kernel rely on mutability