To create the annotation source file, first copy core/lib/dr_annotations.c:
Note that the last argument to the macro specifies the body of the annotation function, which in the case of these annotations must contain a return statement because the annotations are non-void.