Add placeholders for missing definitions
Add placeholders for missing definitions

Triggered by `make -C examples/hello ocaml`

A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar