const role_setterinfo: JSJitInfo;