const rev_setterinfo: JSJitInfo;