import helper program() begin assert(Shared = 42) end.