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