import helper

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