- case bk_gnu_builtin_abort: return "abort";
- case bk_gnu_builtin_abs: return "abs";
- case bk_gnu_builtin_labs: return "labs";
- case bk_gnu_builtin_llabs: return "llabs";
- case bk_gnu_builtin_exit: return "exit";
- case bk_gnu_builtin_malloc: return "malloc";
- case bk_gnu_builtin_memcmp: return "memcmp";
- case bk_gnu_builtin_memcpy: return "memcpy";
- case bk_gnu_builtin_memset: return "memset";
- case bk_gnu_builtin_strlen: return "strlen";
- case bk_gnu_builtin_strcmp: return "strcmp";
- case bk_gnu_builtin_strcpy: return "strcpy";
+ case bk_gnu_builtin___memcpy_chk: return "memcpy";
+ case bk_gnu_builtin___memmove_chk: return "memmove";
+ case bk_gnu_builtin___memset_chk: return "memset";
+ case bk_gnu_builtin___snprintf_chk: return "snprintf";
+ case bk_gnu_builtin___sprintf_chk: return "sprintf";
+ case bk_gnu_builtin___strcat_chk: return "strcat";
+ case bk_gnu_builtin___strcpy_chk: return "strcpy";
+ case bk_gnu_builtin___strncat_chk: return "strncat";
+ case bk_gnu_builtin___strncpy_chk: return "strncpy";
+ case bk_gnu_builtin___vsnprintf_chk: return "vsnprintf";
+ case bk_gnu_builtin___vsprintf_chk: return "vsprintf";
+ case bk_gnu_builtin_abort: return "abort";
+ case bk_gnu_builtin_abs: return "abs";
+ case bk_gnu_builtin_exit: return "exit";
+ case bk_gnu_builtin_labs: return "labs";
+ case bk_gnu_builtin_llabs: return "llabs";
+ case bk_gnu_builtin_malloc: return "malloc";
+ case bk_gnu_builtin_memcmp: return "memcmp";
+ case bk_gnu_builtin_memcpy: return "memcpy";
+ case bk_gnu_builtin_memmove: return "memmove";
+ case bk_gnu_builtin_memset: return "memset";
+ case bk_gnu_builtin_snprintf: return "snprintf";
+ case bk_gnu_builtin_sprintf: return "sprintf";
+ case bk_gnu_builtin_strcat: return "strcat";
+ case bk_gnu_builtin_strcmp: return "strcmp";
+ case bk_gnu_builtin_strcpy: return "strcpy";
+ case bk_gnu_builtin_strlen: return "strlen";
+ case bk_gnu_builtin_strncat: return "strncat";
+ case bk_gnu_builtin_strncpy: return "strncpy";
+ case bk_gnu_builtin_vsnprintf: return "vsnprintf";
+ case bk_gnu_builtin_vsprintf: return "vsprintf";