import helper begin assert(multiply(3, 4) = 12) end.