var a : [string const, int] = 42;