發送短信: Aspect-oriented programming with the e verification language