module PPL