jvmsig
RichPlatformSymbol
RichPlatformType