A really tricky decl