annotate: mark bad code