Standard ML: indent.size = 4