example run and verification output of safety added