Make example work with updated sane() invocation