Writing down code paths