Editing: assert.awk