module systemmodule0 {
    header "system2.h"
    export *
}