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