annotate with typedef