finit 
  fld X 
  fld Y 
  fld Z 
  fadd ST(1) 
  fadd ST(2) 
  fst sum