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