using System;

public delegate void specificationCallback(IntPtr specification);