Just some boilerplate tests with attest