Checkpoint
JSArray managed wrapper
JS.Value[] constructor for JSArray