[PPL-devel] Some numbers about the PPL