const rev_getterinfo: JSJitInfo;