#!/bin/bash
echo "foo 2.4 (pgi/19.4, openmpi/3.1)"
