module 0x8675309::M {
    spec schema foo<T> {
        ensures true;
    }
}