const padding_getterinfo: JSJitInfo;