const tHead_setterinfo: JSJitInfo;