#!/bin/bash
echo "bar 4.7 (gcc/8.2.0, avx)"
