const border_color_getterinfo: JSJitInfo;