Mind annotation plugin to export chosen interfaces as friendly C symbols.