invocation of a library function that, as part of evaluating any expression E, prevents E from being a core constant expression