module church_coreFFI {
    header "church_coreFFI.h"
    export *
}