# generated as part of the test
oracle.cs
testcase.fs
