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