(executable
 (name add)
 (lint (pps correct_static_add)))
