const border_width_getterinfo: JSJitInfo;