use a non-empty default case