Check off "int >= 0" guard in todo list.