adding strictness anotations -- 53 failing
reverse termination flag