"ifdef"-like flag for choosing which SMC semantics implementation to use.