/* etch-reset */