Testing code from mictest for Cornell