Section 2255. undefined