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