esbmc_wr
