How to define and use buildings in Phast and Safeti