the compiler can check that
# random
k
the compiler can check that