Ooops, I've just understood that pointer_cast was not a keyword, but a function's name.