% EXPECT: unknown
% EXPECT: ((charlst2 ((as const (Array Int String)) "")))