#!/bin/bash
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:../../rts/
../../compiler/kayac  test040.k -L ../../rts -L ../../stdlib -seedkey test 
./test040
rm -f test040 test040.exe
