const padding_setterinfo: JSJitInfo;