const border_end_start_radius_setterinfo: JSJitInfo;