If we could avoid adding even more stuff inside scala that would be great, and there's nothing else in scala.internal, wdyt @nicolasstucki ?