NetZoom Device Library for Magma