@xiangli-cmu This is another place where it would be nice to do an assertion.