* h_program-lang/database_code.ml: highlight uses of global pointer func,
and funcall to prototype
* h_program-lang/database_code.ml: prefer def to decl when linking to def