Cruft: Is this supposed to be a prototyping-time assertion?