transition from empty rec to non-empty: watch out for non-const fields