def small
import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
137# a small constant k < 2^8 as an element
138def small(k: U32) -> List<&2, U32>:
139 [k, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
140 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]