diff -r b0e82dcf51fb -r b157a354003f vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
--- a/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Tue Jan 15 12:26:19 2013 +0100
+++ b/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Tue Jan 15 12:38:49 2013 +0100
@@ -996,26 +996,26 @@
                          smapper.popI(), smapper.popI(), smapper.popA());
                     break;
                 case opc_laload:
-                    emit(out, "@3 = @2[@1];",
+                    emit(out, "@3 = @2.at(@1);",
                          smapper.popI(), smapper.popA(), smapper.pushL());
                     break;
                 case opc_faload:
-                    emit(out, "@3 = @2[@1];",
+                    emit(out, "@3 = @2.at(@1);",
                          smapper.popI(), smapper.popA(), smapper.pushF());
                     break;
                 case opc_daload:
-                    emit(out, "@3 = @2[@1];",
+                    emit(out, "@3 = @2.at(@1);",
                          smapper.popI(), smapper.popA(), smapper.pushD());
                     break;
                 case opc_aaload:
-                    emit(out, "@3 = @2[@1];",
+                    emit(out, "@3 = @2.at(@1);",
                          smapper.popI(), smapper.popA(), smapper.pushA());
                     break;
                 case opc_iaload:
                 case opc_baload:
                 case opc_caload:
                 case opc_saload:
-                    emit(out, "@3 = @2[@1];",
+                    emit(out, "@3 = @2.at(@1);",
                          smapper.popI(), smapper.popA(), smapper.pushI());
                     break;
                 case opc_pop: