/* CTF 1.8 */
trace { 42 = test; };