Smart Contracts 101: Lessons from Neo Pepe Protocol’s Audit