a start on porting ml_hol_kernel