Minimal implementations of the definitions that Sharif added to marquise.h