emodel eio example: Put fail_if() back, this time checking against correct index.