% EXPECT: unknown
% EXPECT: ((charlst2 (store ((as const (Array Int String)) "C") 0 ">")))