const border_start_end_radius_setterinfo: JSJitInfo;