module B023.C where