type annotations are read and written
tests