Annotation of JamVM