// #Conformance #SignatureFiles #Namespaces 
// This file has been compiled with AnonModule01.fs, so 
// open the generated anonymous module.

open AnonModule01

if AnonModule01_Value <> 10 then exit 1

exit 0
