{
	"functions": [
		{
			"name": "__do_sys_align_syscall",
			"file": "types.c",
			"start_line": 139,
			"end_line": 142,
			"scopes": [
				{
					"arg": -1
				}
			]
		},
		{
			"name": "__do_sys_types_syscall",
			"file": "types.c",
			"start_line": 75,
			"end_line": 80,
			"scopes": [
				{
					"arg": -1
				}
			]
		},
		{
			"name": "__do_sys_types_syscall2",
			"file": "types.c",
			"start_line": 92,
			"end_line": 95,
			"scopes": [
				{
					"arg": -1
				}
			]
		},
		{
			"name": "anon_flow",
			"file": "types.c",
			"start_line": 97,
			"end_line": 107,
			"scopes": [
				{
					"arg": -1,
					"facts": [
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126320",
									"field": "x"
								}
							}
						},
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126325",
									"field": "y"
								}
							}
						},
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126328",
									"field": "w"
								}
							}
						},
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126310",
									"field": "f"
								}
							}
						},
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126334",
									"field": "a"
								}
							}
						},
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126338",
									"field": "a"
								}
							}
						},
						{
							"src": {
								"argument": {
									"func": "anon_flow",
									"arg": 0
								}
							},
							"dst": {
								"field": {
									"struct": "11253655576479126342",
									"field": "b"
								}
							}
						}
					]
				}
			]
		},
		{
			"name": "atomic_load32",
			"file": "include/types.h",
			"start_line": 17,
			"end_line": 20,
			"is_static": true,
			"scopes": [
				{
					"arg": -1
				}
			]
		},
		{
			"name": "atomic_load64",
			"file": "include/types.h",
			"start_line": 22,
			"end_line": 25,
			"scopes": [
				{
					"arg": -1
				}
			]
		}
	],
	"consts": [
		{
			"name": "a",
			"filename": "types.c",
			"value": 0
		},
		{
			"name": "b",
			"filename": "types.c",
			"value": 1
		},
		{
			"name": "c",
			"filename": "types.c",
			"value": 2
		},
		{
			"name": "enum_bar_a",
			"filename": "types.c",
			"value": 0
		},
		{
			"name": "enum_bar_b",
			"filename": "types.c",
			"value": 1
		},
		{
			"name": "enum_foo_a",
			"filename": "types.c",
			"value": 0
		},
		{
			"name": "enum_foo_b",
			"filename": "types.c",
			"value": 1
		}
	],
	"enums": [
		{
			"name": "bitfield_enum",
			"values": [
				"a",
				"b",
				"c"
			]
		},
		{
			"name": "enum_bar",
			"values": [
				"enum_bar_a",
				"enum_bar_b"
			]
		},
		{
			"name": "enum_foo",
			"values": [
				"enum_foo_a",
				"enum_foo_b"
			]
		}
	],
	"structs": [
		{
			"name": "align1",
			"byte_size": 16,
			"align": 8,
			"fields": [
				{
					"name": "f1",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				},
				{
					"name": "aligner",
					"counted_by": -1,
					"type": {
						"array": {
							"elem": {
								"int": {
									"byte_size": 8,
									"name": "long",
									"base": "long"
								}
							},
							"align": 8,
							"is_const_size": true
						}
					}
				},
				{
					"name": "f2",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				}
			]
		},
		{
			"name": "align2",
			"byte_size": 2,
			"align": 1,
			"fields": [
				{
					"name": "f1",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				},
				{
					"name": "aligner",
					"counted_by": -1,
					"type": {
						"struct": "empty_struct"
					}
				},
				{
					"name": "f2",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				}
			]
		},
		{
			"name": "align3",
			"byte_size": 16,
			"align": 8,
			"fields": [
				{
					"name": "f1",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				},
				{
					"name": "aligner",
					"counted_by": -1,
					"type": {
						"struct": "aligned_empty_struct"
					}
				},
				{
					"name": "f2",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				}
			]
		},
		{
			"name": "align4",
			"byte_size": 16,
			"align": 8,
			"fields": [
				{
					"name": "f1",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				},
				{
					"name": "aligner",
					"counted_by": -1,
					"type": {
						"array": {
							"elem": {
								"struct": "large_struct"
							},
							"align": 8,
							"is_const_size": true
						}
					}
				},
				{
					"name": "f2",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				}
			]
		},
		{
			"name": "aligned_empty_struct",
			"align": 8,
			"align_attr": 8
		},
		{
			"name": "anon_struct",
			"byte_size": 104,
			"align": 8,
			"fields": [
				{
					"name": "a",
					"counted_by": -1,
					"type": {
						"struct": "anon_struct_a"
					}
				},
				{
					"name": "b",
					"counted_by": -1,
					"type": {
						"struct": "anon_struct_b"
					}
				},
				{
					"name": "anon_struct_2",
					"is_anonymous": true,
					"counted_by": -1,
					"type": {
						"struct": "anon_struct_2"
					}
				},
				{
					"name": "anon_struct_3",
					"is_anonymous": true,
					"counted_by": -1,
					"type": {
						"struct": "anon_struct_3"
					}
				},
				{
					"name": "foo",
					"counted_by": -1,
					"type": {
						"struct": "anon_t"
					}
				},
				{
					"name": "forward",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"int": {
									"byte_size": 1,
									"name": "TODO",
									"base": "long"
								}
							}
						}
					}
				},
				{
					"name": "array",
					"counted_by": -1,
					"type": {
						"array": {
							"elem": {
								"struct": "anon_struct_array"
							},
							"min_size": 4,
							"max_size": 4,
							"align": 4,
							"is_const_size": true
						}
					}
				},
				{
					"name": "ptr",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "anon_struct_ptr"
							}
						}
					}
				},
				{
					"name": "ptr_array",
					"counted_by": -1,
					"type": {
						"array": {
							"elem": {
								"ptr": {
									"elem": {
										"struct": "anon_struct_ptr_array"
									}
								}
							},
							"min_size": 4,
							"max_size": 4,
							"align": 8,
							"is_const_size": true
						}
					}
				}
			]
		},
		{
			"name": "anon_struct_2",
			"byte_size": 4,
			"align": 4,
			"fields": [
				{
					"name": "y",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				}
			]
		},
		{
			"name": "anon_struct_3",
			"byte_size": 8,
			"align": 8,
			"is_union": true,
			"fields": [
				{
					"name": "q",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "w",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 8,
							"name": "long",
							"base": "long"
						}
					}
				}
			]
		},
		{
			"name": "anon_struct_a",
			"byte_size": 4,
			"align": 4,
			"fields": [
				{
					"name": "x",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				}
			]
		},
		{
			"name": "anon_struct_array",
			"byte_size": 8,
			"align": 4,
			"fields": [
				{
					"name": "a",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "b",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				}
			]
		},
		{
			"name": "anon_struct_b",
			"align": 1
		},
		{
			"name": "anon_struct_ptr",
			"byte_size": 8,
			"align": 4,
			"fields": [
				{
					"name": "a",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "b",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				}
			]
		},
		{
			"name": "anon_struct_ptr_array",
			"byte_size": 8,
			"align": 4,
			"fields": [
				{
					"name": "a",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "b",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				}
			]
		},
		{
			"name": "anon_t",
			"byte_size": 4,
			"align": 4,
			"fields": [
				{
					"name": "f",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "float",
							"base": "float"
						}
					}
				}
			]
		},
		{
			"name": "bitfields",
			"byte_size": 32,
			"align": 32,
			"align_attr": 32,
			"fields": [
				{
					"name": "a",
					"bit_width": 1,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "bitfields_1",
					"is_anonymous": true,
					"bit_width": 2,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "b",
					"bit_width": 3,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "d",
					"bit_width": 2,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 8,
							"name": "long",
							"base": "long"
						}
					}
				},
				{
					"name": "pad",
					"bit_width": 3,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 8,
							"name": "long",
							"base": "long"
						}
					}
				},
				{
					"name": "e",
					"bit_width": 10,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"enum": "bitfield_enum"
						}
					}
				},
				{
					"name": "l",
					"bit_width": 10,
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "p",
					"counted_by": 6,
					"type": {
						"ptr": {
							"elem": {
								"int": {
									"byte_size": 4,
									"name": "int",
									"base": "int"
								}
							}
						}
					}
				}
			]
		},
		{
			"name": "empty_struct",
			"align": 1
		},
		{
			"name": "large_struct",
			"byte_size": 80,
			"align": 8,
			"fields": [
				{
					"name": "foo",
					"counted_by": -1,
					"type": {
						"array": {
							"elem": {
								"int": {
									"byte_size": 8,
									"name": "long",
									"base": "long"
								}
							},
							"min_size": 10,
							"max_size": 10,
							"align": 8,
							"is_const_size": true
						}
					}
				}
			]
		},
		{
			"name": "packed_t",
			"byte_size": 32,
			"align": 32,
			"is_packed": true,
			"align_attr": 32,
			"fields": [
				{
					"name": "x",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 1,
							"name": "char",
							"base": "char"
						}
					}
				},
				{
					"name": "y",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				}
			]
		},
		{
			"name": "recursive",
			"byte_size": 64,
			"align": 32,
			"fields": [
				{
					"name": "various",
					"counted_by": -1,
					"type": {
						"struct": "various"
					}
				}
			]
		},
		{
			"name": "various",
			"byte_size": 64,
			"align": 32,
			"fields": [
				{
					"name": "recursive",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "various"
							}
						}
					}
				},
				{
					"name": "next",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "recursive"
							}
						}
					}
				},
				{
					"name": "packed",
					"counted_by": -1,
					"type": {
						"struct": "packed_t"
					}
				}
			]
		}
	],
	"syscalls": [
		{
			"func": "__do_sys_align_syscall",
			"args": [
				{
					"name": "a1",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "align1"
							}
						}
					}
				},
				{
					"name": "a2",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "align2"
							}
						}
					}
				},
				{
					"name": "a3",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "align3"
							}
						}
					}
				},
				{
					"name": "a4",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "align4"
							}
						}
					}
				}
			],
			"source_file": "types.c"
		},
		{
			"func": "__do_sys_types_syscall",
			"args": [
				{
					"name": "p",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "anon_struct"
							}
						}
					}
				},
				{
					"name": "y",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "empty_struct"
							}
						}
					}
				},
				{
					"name": "b",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "bitfields"
							}
						}
					}
				},
				{
					"name": "pid",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "int",
							"base": "int"
						}
					}
				},
				{
					"name": "f",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"name": "fd_t",
							"base": "int"
						}
					}
				},
				{
					"name": "v",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"struct": "various"
							}
						}
					}
				},
				{
					"name": "pi",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"int": {
									"byte_size": 4,
									"name": "int",
									"base": "int"
								}
							}
						}
					}
				},
				{
					"name": "pu",
					"counted_by": -1,
					"type": {
						"ptr": {
							"elem": {
								"int": {
									"byte_size": 4,
									"name": "u32",
									"base": "unsigned int"
								}
							}
						}
					}
				}
			],
			"source_file": "types.c"
		},
		{
			"func": "__do_sys_types_syscall2",
			"args": [
				{
					"name": "foo",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"enum": "enum_foo"
						}
					}
				},
				{
					"name": "bar",
					"counted_by": -1,
					"type": {
						"int": {
							"byte_size": 4,
							"enum": "enum_bar"
						}
					}
				}
			],
			"source_file": "types.c"
		}
	]
}