might as well inline the annotations