what would go inside the <code>default:</code> case ?