static <A, B> L<A> keysWithoutHidden(Map<A, B> map) {
  ret [O o in keys(map) | !isStringStartingWith(o, "[hidden] ")];
}