static L<L<S>> innerClassesOfMain(L<S> tok) {
  ret innerClasses(findMainClass(tok));
}