const m13_getterinfo: JSJitInfo;