Hacked around disagreement between scan-skel and scan-code about return type of get_leng