tested speakeasy and assert module