pub trait ReceiveInFileNoSpace<IdN, Idx, IdO, O>: Sized + ReceiveParent<IdN, Self::S1> + SetNode<IdN, Self::O0> {
type S1: ReceiveIdx<Idx, Self::S2>;
type S2: ReceiveOffset<IdO, Self>;
type O0: SetLen<IdO, Self::O1>;
type O1: Transition<O>;
}