(func (export "\f1\23"))