module "girder4" {