A covered pavilion