private Zen <Option <LocatedPacket> > StepOnce(Zen <LocatedPacket> lp)
{
var location = lp.GetNode();
var packet = lp.GetHeader();
return(If(location == 0,
Some(LocatedPacketHelper.Create(1, packet)),
If(location == 1,
Some(LocatedPacketHelper.Create(2, packet)),
Null <LocatedPacket>())));
}