import helper

program()
begin
  assert(multiply(3, 4) = 12)
return 0u8

end.