export type Sz = number;