(module (func (result)))