Fixed with-nets macro