sS classNameToByteCodeFormat(S className) {
  ret "L" + className.replace('.', '/');
}

sS classNameToByteCodeFormat(Class c) {
  ret classNameToByteCodeFormat(className(c));
}