proseguo porting