function f(sn: string | null): string {
    return sn || "default";
}