Sqlite чтение исходного кода. Для чего используются идентификаторы типа F17025, U17032?

Question

В комментариях к исходному коду SQLite я вижу такие идентификаторы, как F17025, U17032 и т. Д.

sqlite3.c:

** The sqlite3_mutex_enter() and sqlite3_mutex_try() routines attempt
** to enter a mutex. {F17024} If another thread is already within the mutex,
** sqlite3_mutex_enter() will block and sqlite3_mutex_try() will return
** SQLITE_BUSY. {F17025}  The sqlite3_mutex_try() interface returns SQLITE_OK
** upon successful entry.  {F17026} Mutexes created using
** SQLITE_MUTEX_RECURSIVE can be entered multiple times by the same thread.
** {F17027} In such cases the,

Для чего они используются?Возможно, есть какие-то связанные документы?

Answer 1

Я думаю, что это ссылки на разделы какого-то внутреннего документа (например, Функциональные требования ).