const buffer_setterinfo: JSJitInfo;