Main: Added output for testing annotated types