const role_getterinfo: JSJitInfo;