Porting checkpoint