(module (import "foo" "[resource-drop]a" (func (param i32))) )