sbool reflection_isForbiddenMethod(Method m) {
  ret m != null && m.getDeclaringClass() == O.class
    && m.getName().equals("finalize");
}