// for testing compilation

import $file.cw051_add
import cw051_add._

val mand = os.read(os.pwd / "mand.fun")

test_string(mand, "mand")