(func (export "\f3\80\80\00"))