tree e2173904dadd921a98f8c3596ffbcd8a7c199d27
parent b0c0da34971e4975dfcf331c91833988da4e8f32
author Larry Peterson <llp@cs.princeton.edu> 1692823115 -0700
committer Larry Peterson <llp@cs.princeton.edu> 1692823115 -0700

consistent example IPaddr

Change-Id: I4bf843c56412793540f49ab012a32277d0e5ec4a