user/jszakmeister: add missing comment marker in c.h