A program that uses the Building class