#!/usr/bin/env bash

gcc -static -m64 -Wall Isabelle.c -o Isabelle
