error: checked