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