Set of Implementations from CodeRust