//@Description Toy benchmark. int spec( int x ){ return x + x; } int sketch( int x ) implements spec{ return ?? * x; }