// error: f: is in a hold block and can't be o3
namespace;
include rt;
hold { shared let c; o3 int f(int k) { return k; } }
fn main() { return f(1); }