value init checking