jvm :: JavaVMOption :: extra_info=
fun extra_info=(v: String) import String.to_cstring `{ self->extraInfo = String_to_cstring(v); `}