const buffered_getterinfo: JSJitInfo;