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