static <A> A id(A a) {
  ret a;
}