example 4-4: if construct