Playing with static analysis
Document