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