const borderTop_setterinfo: JSJitInfo;