Re: [PATCH v2 14/16] sandbox: Silence coverity warning in state_read_file()