% cd isolate/src
% make
% ./isolate ../tests/fact.iso
% ./isolate ../tests/ticktock.iso