Function: mml2015-verify-test



(fn HANDLE CTL)