A Quick-Start Guide to Safe4