Modified printf c-mode snippet