An example of dealing with null-safety