: length { F: a F: b F: c -- len }     \ floating point locals
  a a F* b b F* F+ c c F* F+ FSQRT ;