Protocol testers can use the specification to derive unambiguous testable statements.

[Guylaine n. <nep...@ac...>]

H+E,R_E WE GO AGAIN*! 
T,H.E B+I*G O*N.E BE*FORE T H-E S'EPTEMBER*.RALLY! 
T H-E M ARKET IS AB_OUT TO P,O*P., A N'D SO IS E-X+M T,! 


Tic'k: E'X*M,T 
5-d-ay p*otentia+l: 0+.*4+0 
Fir-m: EXCHA*NG.E MOBIL*E T+E+L_E (Oth_er O-T'C,: EXMT.P-K) 

A-s*k': 0+.'1_0 (++2*5.00%) UP TO 2 5+% in 1 day


N'o't o-n+l+y d o'e-s t*h-i*s f,i r'm h.a,v+e g-reat fundament_als,, 
b.u+t getti.ng t'h,i+s opportunit  y at t'h-e ri-ght t'i+m'e_, 
righ*t b efore t_h e ra-lly is w+h-a_t m*akes t*h.i.s d-e-a'l so sw-eet! =

T+h_i's a gre+at o_pp*ortunity to at leas.t do*uble up!



A*gain he looke_d s-traigh+t i+n't*o t+h,e Andr*ew 's ey es, l i+p+s =
t+rem*bling. 

BETS_Y W*h.y a.r-e y o u loo.king at me l-i-k e t-h-a-t.. 

A sma_ll gr,een d,o.t h-a'd "T hat's t-h'e lak,e," T.errent s-a_i*d,. 
T'h+i*s typica l'ly mea+ns t h.a.t eve*ry c+lass m_u.s*t be awar-e of =
t_h_e u'nderl_ying sy-nchro nization primitive-s . 

DriveFr eeSpa'ce - F r e-e spa+ce on t_h_e c_urrent driv*e, in kB.