the numbers in the preceding lines should be consts