file 1	file 2	# same commits	# commits file 1	# commits file 2
include/stdio_checked.h	include/checkedc_extensions.h	2	17	6
spec/bounds_safety/core-extensions.tex	spec/bounds_safety/interoperation.tex	1	56	58
spec/bounds_safety/void-ptr-replacements.tex	spec/bounds_safety/interoperation.tex	1	5	58
spec/bounds_safety/void-ptr-replacements.tex	spec/bounds_safety/core-extensions.tex	1	5	56
include/arpa/inet.h	include/checkedc_extensions.h	1	1	6
include/arpa/inet.h	include/stdio_checked.h	1	1	17
include/arpa/inet_checked.h	include/checkedc_extensions.h	1	4	6
include/arpa/inet_checked.h	include/stdio_checked.h	1	4	17
include/arpa/inet_checked.h	include/arpa/inet.h	1	4	1
include/assert.h	include/checkedc_extensions.h	1	1	6
include/assert.h	include/stdio_checked.h	1	1	17
include/assert.h	include/arpa/inet.h	1	1	1
include/assert.h	include/arpa/inet_checked.h	1	1	4
include/assert_checked.h	include/checkedc_extensions.h	1	5	6
include/assert_checked.h	include/stdio_checked.h	1	5	17
include/assert_checked.h	include/arpa/inet.h	1	5	1
include/assert_checked.h	include/arpa/inet_checked.h	1	5	4
include/assert_checked.h	include/assert.h	1	5	1
include/errno.h	include/checkedc_extensions.h	1	1	6
include/errno.h	include/stdio_checked.h	1	1	17
include/errno.h	include/arpa/inet.h	1	1	1
include/errno.h	include/arpa/inet_checked.h	1	1	4
include/errno.h	include/assert.h	1	1	1
include/errno.h	include/assert_checked.h	1	1	5
include/errno_checked.h	include/checkedc_extensions.h	1	4	6
include/errno_checked.h	include/stdio_checked.h	1	4	17
include/errno_checked.h	include/arpa/inet.h	1	4	1
include/errno_checked.h	include/arpa/inet_checked.h	1	4	4
include/errno_checked.h	include/assert.h	1	4	1
include/errno_checked.h	include/assert_checked.h	1	4	5
include/errno_checked.h	include/errno.h	1	4	1
include/fenv.h	include/checkedc_extensions.h	1	1	6
include/fenv.h	include/stdio_checked.h	1	1	17
include/fenv.h	include/arpa/inet.h	1	1	1
include/fenv.h	include/arpa/inet_checked.h	1	1	4
include/fenv.h	include/assert.h	1	1	1
include/fenv.h	include/assert_checked.h	1	1	5
include/fenv.h	include/errno.h	1	1	1
include/fenv.h	include/errno_checked.h	1	1	4
include/fenv_checked.h	include/checkedc_extensions.h	1	6	6
include/fenv_checked.h	include/stdio_checked.h	1	6	17
include/fenv_checked.h	include/arpa/inet.h	1	6	1
include/fenv_checked.h	include/arpa/inet_checked.h	1	6	4
include/fenv_checked.h	include/assert.h	1	6	1
include/fenv_checked.h	include/assert_checked.h	1	6	5
include/fenv_checked.h	include/errno.h	1	6	1
include/fenv_checked.h	include/errno_checked.h	1	6	4
include/fenv_checked.h	include/fenv.h	1	6	1
include/inttypes_checked.h	include/checkedc_extensions.h	1	8	6
include/inttypes_checked.h	include/stdio_checked.h	1	8	17
include/inttypes_checked.h	include/arpa/inet.h	1	8	1
include/inttypes_checked.h	include/arpa/inet_checked.h	1	8	4
include/inttypes_checked.h	include/assert.h	1	8	1
include/inttypes_checked.h	include/assert_checked.h	1	8	5
include/inttypes_checked.h	include/errno.h	1	8	1
include/inttypes_checked.h	include/errno_checked.h	1	8	4
include/inttypes_checked.h	include/fenv.h	1	8	1
include/inttypes_checked.h	include/fenv_checked.h	1	8	6
include/inttypes_checked_internal.h	include/checkedc_extensions.h	1	1	6
include/inttypes_checked_internal.h	include/stdio_checked.h	1	1	17
include/inttypes_checked_internal.h	include/arpa/inet.h	1	1	1
include/inttypes_checked_internal.h	include/arpa/inet_checked.h	1	1	4
include/inttypes_checked_internal.h	include/assert.h	1	1	1
include/inttypes_checked_internal.h	include/assert_checked.h	1	1	5
include/inttypes_checked_internal.h	include/errno.h	1	1	1
include/inttypes_checked_internal.h	include/errno_checked.h	1	1	4
include/inttypes_checked_internal.h	include/fenv.h	1	1	1
include/inttypes_checked_internal.h	include/fenv_checked.h	1	1	6
include/inttypes_checked_internal.h	include/inttypes_checked.h	1	1	8
include/math.h	include/checkedc_extensions.h	1	1	6
include/math.h	include/stdio_checked.h	1	1	17
include/math.h	include/arpa/inet.h	1	1	1
include/math.h	include/arpa/inet_checked.h	1	1	4
include/math.h	include/assert.h	1	1	1
include/math.h	include/assert_checked.h	1	1	5
include/math.h	include/errno.h	1	1	1
include/math.h	include/errno_checked.h	1	1	4
include/math.h	include/fenv.h	1	1	1
include/math.h	include/fenv_checked.h	1	1	6
include/math.h	include/inttypes_checked.h	1	1	8
include/math.h	include/inttypes_checked_internal.h	1	1	1
include/math_checked.h	include/checkedc_extensions.h	1	7	6
include/math_checked.h	include/stdio_checked.h	1	7	17
include/math_checked.h	include/arpa/inet.h	1	7	1
include/math_checked.h	include/arpa/inet_checked.h	1	7	4
include/math_checked.h	include/assert.h	1	7	1
include/math_checked.h	include/assert_checked.h	1	7	5
include/math_checked.h	include/errno.h	1	7	1
include/math_checked.h	include/errno_checked.h	1	7	4
include/math_checked.h	include/fenv.h	1	7	1
include/math_checked.h	include/fenv_checked.h	1	7	6
include/math_checked.h	include/inttypes_checked.h	1	7	8
include/math_checked.h	include/inttypes_checked_internal.h	1	7	1
include/math_checked.h	include/math.h	1	7	1
include/signal.h	include/checkedc_extensions.h	1	1	6
include/signal.h	include/stdio_checked.h	1	1	17
include/signal.h	include/arpa/inet.h	1	1	1
include/signal.h	include/arpa/inet_checked.h	1	1	4
include/signal.h	include/assert.h	1	1	1
include/signal.h	include/assert_checked.h	1	1	5
include/signal.h	include/errno.h	1	1	1
include/signal.h	include/errno_checked.h	1	1	4
include/signal.h	include/fenv.h	1	1	1
include/signal.h	include/fenv_checked.h	1	1	6
include/signal.h	include/inttypes_checked.h	1	1	8
include/signal.h	include/inttypes_checked_internal.h	1	1	1
include/signal.h	include/math.h	1	1	1
include/signal.h	include/math_checked.h	1	1	7
include/signal_checked.h	include/checkedc_extensions.h	1	6	6
include/signal_checked.h	include/stdio_checked.h	1	6	17
include/signal_checked.h	include/arpa/inet.h	1	6	1
include/signal_checked.h	include/arpa/inet_checked.h	1	6	4
include/signal_checked.h	include/assert.h	1	6	1
include/signal_checked.h	include/assert_checked.h	1	6	5
include/signal_checked.h	include/errno.h	1	6	1
include/signal_checked.h	include/errno_checked.h	1	6	4
include/signal_checked.h	include/fenv.h	1	6	1
include/signal_checked.h	include/fenv_checked.h	1	6	6
include/signal_checked.h	include/inttypes_checked.h	1	6	8
include/signal_checked.h	include/inttypes_checked_internal.h	1	6	1
include/signal_checked.h	include/math.h	1	6	1
include/signal_checked.h	include/math_checked.h	1	6	7
include/signal_checked.h	include/signal.h	1	6	1
include/stdio.h	include/checkedc_extensions.h	1	1	6
include/stdio.h	include/stdio_checked.h	1	1	17
include/stdio.h	include/arpa/inet.h	1	1	1
include/stdio.h	include/arpa/inet_checked.h	1	1	4
include/stdio.h	include/assert.h	1	1	1
include/stdio.h	include/assert_checked.h	1	1	5
include/stdio.h	include/errno.h	1	1	1
include/stdio.h	include/errno_checked.h	1	1	4
include/stdio.h	include/fenv.h	1	1	1
include/stdio.h	include/fenv_checked.h	1	1	6
include/stdio.h	include/inttypes_checked.h	1	1	8
include/stdio.h	include/inttypes_checked_internal.h	1	1	1
include/stdio.h	include/math.h	1	1	1
include/stdio.h	include/math_checked.h	1	1	7
include/stdio.h	include/signal.h	1	1	1
include/stdio.h	include/signal_checked.h	1	1	6
include/stdlib.h	include/checkedc_extensions.h	1	1	6
include/stdlib.h	include/stdio_checked.h	1	1	17
include/stdlib.h	include/arpa/inet.h	1	1	1
include/stdlib.h	include/arpa/inet_checked.h	1	1	4
include/stdlib.h	include/assert.h	1	1	1
include/stdlib.h	include/assert_checked.h	1	1	5
include/stdlib.h	include/errno.h	1	1	1
include/stdlib.h	include/errno_checked.h	1	1	4
include/stdlib.h	include/fenv.h	1	1	1
include/stdlib.h	include/fenv_checked.h	1	1	6
include/stdlib.h	include/inttypes_checked.h	1	1	8
include/stdlib.h	include/inttypes_checked_internal.h	1	1	1
include/stdlib.h	include/math.h	1	1	1
include/stdlib.h	include/math_checked.h	1	1	7
include/stdlib.h	include/signal.h	1	1	1
include/stdlib.h	include/signal_checked.h	1	1	6
include/stdlib.h	include/stdio.h	1	1	1
include/stdlib_checked.h	include/checkedc_extensions.h	1	14	6
include/stdlib_checked.h	include/stdio_checked.h	1	14	17
include/stdlib_checked.h	include/arpa/inet.h	1	14	1
include/stdlib_checked.h	include/arpa/inet_checked.h	1	14	4
include/stdlib_checked.h	include/assert.h	1	14	1
include/stdlib_checked.h	include/assert_checked.h	1	14	5
include/stdlib_checked.h	include/errno.h	1	14	1
include/stdlib_checked.h	include/errno_checked.h	1	14	4
include/stdlib_checked.h	include/fenv.h	1	14	1
include/stdlib_checked.h	include/fenv_checked.h	1	14	6
include/stdlib_checked.h	include/inttypes_checked.h	1	14	8
include/stdlib_checked.h	include/inttypes_checked_internal.h	1	14	1
include/stdlib_checked.h	include/math.h	1	14	1
include/stdlib_checked.h	include/math_checked.h	1	14	7
include/stdlib_checked.h	include/signal.h	1	14	1
include/stdlib_checked.h	include/signal_checked.h	1	14	6
include/stdlib_checked.h	include/stdio.h	1	14	1
include/stdlib_checked.h	include/stdlib.h	1	14	1
include/string.h	include/checkedc_extensions.h	1	1	6
include/string.h	include/stdio_checked.h	1	1	17
include/string.h	include/arpa/inet.h	1	1	1
include/string.h	include/arpa/inet_checked.h	1	1	4
include/string.h	include/assert.h	1	1	1
include/string.h	include/assert_checked.h	1	1	5
include/string.h	include/errno.h	1	1	1
include/string.h	include/errno_checked.h	1	1	4
include/string.h	include/fenv.h	1	1	1
include/string.h	include/fenv_checked.h	1	1	6
include/string.h	include/inttypes_checked.h	1	1	8
include/string.h	include/inttypes_checked_internal.h	1	1	1
include/string.h	include/math.h	1	1	1
include/string.h	include/math_checked.h	1	1	7
include/string.h	include/signal.h	1	1	1
include/string.h	include/signal_checked.h	1	1	6
include/string.h	include/stdio.h	1	1	1
include/string.h	include/stdlib.h	1	1	1
include/string.h	include/stdlib_checked.h	1	1	14
include/string_checked.h	include/checkedc_extensions.h	1	19	6
include/string_checked.h	include/stdio_checked.h	1	19	17
include/string_checked.h	include/arpa/inet.h	1	19	1
include/string_checked.h	include/arpa/inet_checked.h	1	19	4
include/string_checked.h	include/assert.h	1	19	1
include/string_checked.h	include/assert_checked.h	1	19	5
include/string_checked.h	include/errno.h	1	19	1
include/string_checked.h	include/errno_checked.h	1	19	4
include/string_checked.h	include/fenv.h	1	19	1
include/string_checked.h	include/fenv_checked.h	1	19	6
include/string_checked.h	include/inttypes_checked.h	1	19	8
include/string_checked.h	include/inttypes_checked_internal.h	1	19	1
include/string_checked.h	include/math.h	1	19	1
include/string_checked.h	include/math_checked.h	1	19	7
include/string_checked.h	include/signal.h	1	19	1
include/string_checked.h	include/signal_checked.h	1	19	6
include/string_checked.h	include/stdio.h	1	19	1
include/string_checked.h	include/stdlib.h	1	19	1
include/string_checked.h	include/stdlib_checked.h	1	19	14
include/string_checked.h	include/string.h	1	19	1
include/sys/socket.h	include/checkedc_extensions.h	1	1	6
include/sys/socket.h	include/stdio_checked.h	1	1	17
include/sys/socket.h	include/arpa/inet.h	1	1	1
include/sys/socket.h	include/arpa/inet_checked.h	1	1	4
include/sys/socket.h	include/assert.h	1	1	1
include/sys/socket.h	include/assert_checked.h	1	1	5
include/sys/socket.h	include/errno.h	1	1	1
include/sys/socket.h	include/errno_checked.h	1	1	4
include/sys/socket.h	include/fenv.h	1	1	1
include/sys/socket.h	include/fenv_checked.h	1	1	6
include/sys/socket.h	include/inttypes_checked.h	1	1	8
include/sys/socket.h	include/inttypes_checked_internal.h	1	1	1
include/sys/socket.h	include/math.h	1	1	1
include/sys/socket.h	include/math_checked.h	1	1	7
include/sys/socket.h	include/signal.h	1	1	1
include/sys/socket.h	include/signal_checked.h	1	1	6
include/sys/socket.h	include/stdio.h	1	1	1
include/sys/socket.h	include/stdlib.h	1	1	1
include/sys/socket.h	include/stdlib_checked.h	1	1	14
include/sys/socket.h	include/string.h	1	1	1
include/sys/socket.h	include/string_checked.h	1	1	19
include/sys/socket_checked.h	include/checkedc_extensions.h	1	5	6
include/sys/socket_checked.h	include/stdio_checked.h	1	5	17
include/sys/socket_checked.h	include/arpa/inet.h	1	5	1
include/sys/socket_checked.h	include/arpa/inet_checked.h	1	5	4
include/sys/socket_checked.h	include/assert.h	1	5	1
include/sys/socket_checked.h	include/assert_checked.h	1	5	5
include/sys/socket_checked.h	include/errno.h	1	5	1
include/sys/socket_checked.h	include/errno_checked.h	1	5	4
include/sys/socket_checked.h	include/fenv.h	1	5	1
include/sys/socket_checked.h	include/fenv_checked.h	1	5	6
include/sys/socket_checked.h	include/inttypes_checked.h	1	5	8
include/sys/socket_checked.h	include/inttypes_checked_internal.h	1	5	1
include/sys/socket_checked.h	include/math.h	1	5	1
include/sys/socket_checked.h	include/math_checked.h	1	5	7
include/sys/socket_checked.h	include/signal.h	1	5	1
include/sys/socket_checked.h	include/signal_checked.h	1	5	6
include/sys/socket_checked.h	include/stdio.h	1	5	1
include/sys/socket_checked.h	include/stdlib.h	1	5	1
include/sys/socket_checked.h	include/stdlib_checked.h	1	5	14
include/sys/socket_checked.h	include/string.h	1	5	1
include/sys/socket_checked.h	include/string_checked.h	1	5	19
include/sys/socket_checked.h	include/sys/socket.h	1	5	1
include/threads.h	include/checkedc_extensions.h	1	1	6
include/threads.h	include/stdio_checked.h	1	1	17
include/threads.h	include/arpa/inet.h	1	1	1
include/threads.h	include/arpa/inet_checked.h	1	1	4
include/threads.h	include/assert.h	1	1	1
include/threads.h	include/assert_checked.h	1	1	5
include/threads.h	include/errno.h	1	1	1
include/threads.h	include/errno_checked.h	1	1	4
include/threads.h	include/fenv.h	1	1	1
include/threads.h	include/fenv_checked.h	1	1	6
include/threads.h	include/inttypes_checked.h	1	1	8
include/threads.h	include/inttypes_checked_internal.h	1	1	1
include/threads.h	include/math.h	1	1	1
include/threads.h	include/math_checked.h	1	1	7
include/threads.h	include/signal.h	1	1	1
include/threads.h	include/signal_checked.h	1	1	6
include/threads.h	include/stdio.h	1	1	1
include/threads.h	include/stdlib.h	1	1	1
include/threads.h	include/stdlib_checked.h	1	1	14
include/threads.h	include/string.h	1	1	1
include/threads.h	include/string_checked.h	1	1	19
include/threads.h	include/sys/socket.h	1	1	1
include/threads.h	include/sys/socket_checked.h	1	1	5
include/threads_checked.h	include/checkedc_extensions.h	1	6	6
include/threads_checked.h	include/stdio_checked.h	1	6	17
include/threads_checked.h	include/arpa/inet.h	1	6	1
include/threads_checked.h	include/arpa/inet_checked.h	1	6	4
include/threads_checked.h	include/assert.h	1	6	1
include/threads_checked.h	include/assert_checked.h	1	6	5
include/threads_checked.h	include/errno.h	1	6	1
include/threads_checked.h	include/errno_checked.h	1	6	4
include/threads_checked.h	include/fenv.h	1	6	1
include/threads_checked.h	include/fenv_checked.h	1	6	6
include/threads_checked.h	include/inttypes_checked.h	1	6	8
include/threads_checked.h	include/inttypes_checked_internal.h	1	6	1
include/threads_checked.h	include/math.h	1	6	1
include/threads_checked.h	include/math_checked.h	1	6	7
include/threads_checked.h	include/signal.h	1	6	1
include/threads_checked.h	include/signal_checked.h	1	6	6
include/threads_checked.h	include/stdio.h	1	6	1
include/threads_checked.h	include/stdlib.h	1	6	1
include/threads_checked.h	include/stdlib_checked.h	1	6	14
include/threads_checked.h	include/string.h	1	6	1
include/threads_checked.h	include/string_checked.h	1	6	19
include/threads_checked.h	include/sys/socket.h	1	6	1
include/threads_checked.h	include/sys/socket_checked.h	1	6	5
include/threads_checked.h	include/threads.h	1	6	1
include/time.h	include/checkedc_extensions.h	1	1	6
include/time.h	include/stdio_checked.h	1	1	17
include/time.h	include/arpa/inet.h	1	1	1
include/time.h	include/arpa/inet_checked.h	1	1	4
include/time.h	include/assert.h	1	1	1
include/time.h	include/assert_checked.h	1	1	5
include/time.h	include/errno.h	1	1	1
include/time.h	include/errno_checked.h	1	1	4
include/time.h	include/fenv.h	1	1	1
include/time.h	include/fenv_checked.h	1	1	6
include/time.h	include/inttypes_checked.h	1	1	8
include/time.h	include/inttypes_checked_internal.h	1	1	1
include/time.h	include/math.h	1	1	1
include/time.h	include/math_checked.h	1	1	7
include/time.h	include/signal.h	1	1	1
include/time.h	include/signal_checked.h	1	1	6
include/time.h	include/stdio.h	1	1	1
include/time.h	include/stdlib.h	1	1	1
include/time.h	include/stdlib_checked.h	1	1	14
include/time.h	include/string.h	1	1	1
include/time.h	include/string_checked.h	1	1	19
include/time.h	include/sys/socket.h	1	1	1
include/time.h	include/sys/socket_checked.h	1	1	5
include/time.h	include/threads.h	1	1	1
include/time.h	include/threads_checked.h	1	1	6
include/time_checked.h	include/checkedc_extensions.h	1	7	6
include/time_checked.h	include/stdio_checked.h	1	7	17
include/time_checked.h	include/arpa/inet.h	1	7	1
include/time_checked.h	include/arpa/inet_checked.h	1	7	4
include/time_checked.h	include/assert.h	1	7	1
include/time_checked.h	include/assert_checked.h	1	7	5
include/time_checked.h	include/errno.h	1	7	1
include/time_checked.h	include/errno_checked.h	1	7	4
include/time_checked.h	include/fenv.h	1	7	1
include/time_checked.h	include/fenv_checked.h	1	7	6
include/time_checked.h	include/inttypes_checked.h	1	7	8
include/time_checked.h	include/inttypes_checked_internal.h	1	7	1
include/time_checked.h	include/math.h	1	7	1
include/time_checked.h	include/math_checked.h	1	7	7
include/time_checked.h	include/signal.h	1	7	1
include/time_checked.h	include/signal_checked.h	1	7	6
include/time_checked.h	include/stdio.h	1	7	1
include/time_checked.h	include/stdlib.h	1	7	1
include/time_checked.h	include/stdlib_checked.h	1	7	14
include/time_checked.h	include/string.h	1	7	1
include/time_checked.h	include/string_checked.h	1	7	19
include/time_checked.h	include/sys/socket.h	1	7	1
include/time_checked.h	include/sys/socket_checked.h	1	7	5
include/time_checked.h	include/threads.h	1	7	1
include/time_checked.h	include/threads_checked.h	1	7	6
include/time_checked.h	include/time.h	1	7	1
include/unistd.h	include/checkedc_extensions.h	1	1	6
include/unistd.h	include/stdio_checked.h	1	1	17
include/unistd.h	include/arpa/inet.h	1	1	1
include/unistd.h	include/arpa/inet_checked.h	1	1	4
include/unistd.h	include/assert.h	1	1	1
include/unistd.h	include/assert_checked.h	1	1	5
include/unistd.h	include/errno.h	1	1	1
include/unistd.h	include/errno_checked.h	1	1	4
include/unistd.h	include/fenv.h	1	1	1
include/unistd.h	include/fenv_checked.h	1	1	6
include/unistd.h	include/inttypes_checked.h	1	1	8
include/unistd.h	include/inttypes_checked_internal.h	1	1	1
include/unistd.h	include/math.h	1	1	1
include/unistd.h	include/math_checked.h	1	1	7
include/unistd.h	include/signal.h	1	1	1
include/unistd.h	include/signal_checked.h	1	1	6
include/unistd.h	include/stdio.h	1	1	1
include/unistd.h	include/stdlib.h	1	1	1
include/unistd.h	include/stdlib_checked.h	1	1	14
include/unistd.h	include/string.h	1	1	1
include/unistd.h	include/string_checked.h	1	1	19
include/unistd.h	include/sys/socket.h	1	1	1
include/unistd.h	include/sys/socket_checked.h	1	1	5
include/unistd.h	include/threads.h	1	1	1
include/unistd.h	include/threads_checked.h	1	1	6
include/unistd.h	include/time.h	1	1	1
include/unistd.h	include/time_checked.h	1	1	7
include/unistd_checked.h	include/checkedc_extensions.h	1	7	6
include/unistd_checked.h	include/stdio_checked.h	1	7	17
include/unistd_checked.h	include/arpa/inet.h	1	7	1
include/unistd_checked.h	include/arpa/inet_checked.h	1	7	4
include/unistd_checked.h	include/assert.h	1	7	1
include/unistd_checked.h	include/assert_checked.h	1	7	5
include/unistd_checked.h	include/errno.h	1	7	1
include/unistd_checked.h	include/errno_checked.h	1	7	4
include/unistd_checked.h	include/fenv.h	1	7	1
include/unistd_checked.h	include/fenv_checked.h	1	7	6
include/unistd_checked.h	include/inttypes_checked.h	1	7	8
include/unistd_checked.h	include/inttypes_checked_internal.h	1	7	1
include/unistd_checked.h	include/math.h	1	7	1
include/unistd_checked.h	include/math_checked.h	1	7	7
include/unistd_checked.h	include/signal.h	1	7	1
include/unistd_checked.h	include/signal_checked.h	1	7	6
include/unistd_checked.h	include/stdio.h	1	7	1
include/unistd_checked.h	include/stdlib.h	1	7	1
include/unistd_checked.h	include/stdlib_checked.h	1	7	14
include/unistd_checked.h	include/string.h	1	7	1
include/unistd_checked.h	include/string_checked.h	1	7	19
include/unistd_checked.h	include/sys/socket.h	1	7	1
include/unistd_checked.h	include/sys/socket_checked.h	1	7	5
include/unistd_checked.h	include/threads.h	1	7	1
include/unistd_checked.h	include/threads_checked.h	1	7	6
include/unistd_checked.h	include/time.h	1	7	1
include/unistd_checked.h	include/time_checked.h	1	7	7
include/unistd_checked.h	include/unistd.h	1	7	1
spec/bounds_safety/design-alternatives.tex	spec/bounds_safety/core-extensions.tex	1	37	56
spec/bounds_safety/pointers-to-pointers.tex	spec/bounds_safety/core-extensions.tex	1	14	56
spec/bounds_safety/pointers-to-pointers.tex	spec/bounds_safety/design-alternatives.tex	1	14	37
spec/bounds_safety/simple-invariants.tex	spec/bounds_safety/core-extensions.tex	1	20	56
spec/bounds_safety/simple-invariants.tex	spec/bounds_safety/design-alternatives.tex	1	20	37
spec/bounds_safety/simple-invariants.tex	spec/bounds_safety/pointers-to-pointers.tex	1	20	14
spec/bounds_safety/variable-bounds.tex	spec/bounds_safety/core-extensions.tex	1	47	56
spec/bounds_safety/variable-bounds.tex	spec/bounds_safety/design-alternatives.tex	1	47	37
spec/bounds_safety/variable-bounds.tex	spec/bounds_safety/pointers-to-pointers.tex	1	47	14
spec/bounds_safety/variable-bounds.tex	spec/bounds_safety/simple-invariants.tex	1	47	20