const border_block_end_width_setterinfo: JSJitInfo;