#!/bin/bash
echo "foo 2.4 (gcc/9.1.0, openmpi/4.0)"
