Implement static array indices in Snow mem model