[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/string.c (with preprocessing)
/* Generated by Frama-C */
/*@ logic char * foo= "Styfoo";
 */
/*@ logic unsigned long * bar= (unsigned long *)L"\xABCD" "t" "5" "a" "b" ;
 */
/*@ logic char * split= "abcdef";
 */
unsigned long *test = (unsigned long *)L"\xABCD" "t" "5" "a" "b" ;

