Checkin partially implemented mixed fin/inf list/e