const WSK_SO_BASE: comptime_int = 16384;