For safety formatter implementation

The idea is from #33.