Symbol: annotated_op_loc