Title: Refining safety code