const border_block_width_setterinfo: JSJitInfo;