(func (export "\fc\23"))