leave the annotations so that at least foreign libs can type check against the signatures