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