#!/bin/bash
echo "bar 5.4 (gcc/9.1.0, avx)"
