tyyppiturvallisuusesimerkkejä