SECD vm fully functioning; needs further testing..