define a const for `13`