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