(func (export "\df\00"))