In-progress porting Flexible.Standard.Processors