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