const border_spacing_setterinfo: JSJitInfo;