module verify

import StdEnv, example_int

Start = add 5 10