#!/bin/bash
echo "foo 1.1 (intel/2018, nompi)"
