- maglev: Workaround for bug in Array#shift
[git-p4: depot-paths = "//src/sexp_processor/dev/": change = 8165]