srecord PtInComponent<A extends Component>(A component, Pt p) {
}