//@ compile-flags: --print