const padding_left_getterinfo: JSJitInfo;