#!/bin/bash
rm m2m.c
../../../drakon_gen.tcl -in m2m.drn
gcc -Wall  lib.c m2m.c -o m2m