Evaluated proc heads_y {y h} { expr $y - ($h/5) }