multi annotation, and type annotation
add example