#!/bin/bash
echo "foo 1.1 (gcc/8.2.0, nompi)"
