sS resolvableClassToName(Type type) {
  if (type cast IResolvableClass)
    ret type.resolvableClassName();
  null;
}