const border_end_end_radius_getterinfo: JSJitInfo;