code result as examples in the specifications