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