Відправити по sms: Validating Halstead's Theory for PASCAL Programs