const border_left_width_getterinfo: JSJitInfo;