#!/bin/bash
../../compiler/kayac test013.k -L ../../rts -L ../../stdlib -o test013
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:../../rts/
./test013
rm -f test013
