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