use microspec assert