afc::maxPrintedSize() is introduced; some TODOs are added.