(module (func (local i32)))