Return value should be asserted.