Add non-total functions for testing totality checking.