Document embind_prologue.h