unknown_type x; // #1