const border_setterinfo: JSJitInfo;