Ryan Stortz withzombies

For the test case I'm using one from Ghidra's test suite, which is available here

It was compiled on my macOS machine with the following command:

$ clang -o decomp -O1 -g decomp.c -Wall -Wshadow -Wextra -std=c17 -arch arm64e

Some metadata:

	./.fseventsd/fseventsd-uuid
	./System/Library/Accounts/DataclassOwners/Bookmarks.bundle/Bookmarks
	./System/Library/Accounts/DataclassOwners/Bookmarks.bundle/Info.plist
	./System/Library/Accounts/Notification/WebBookmarksNotificationPlugin.bundle/Info.plist
	./System/Library/Caches/com.apple.dyld/dyld_shared_cache_arm64e
	./System/Library/Caches/com.apple.dyld/dyld_shared_cache_arm64e.01
	./System/Library/Caches/com.apple.dyld/dyld_shared_cache_arm64e.02
	./System/Library/Caches/com.apple.dyld/dyld_shared_cache_arm64e.03
	./System/Library/Caches/com.apple.dyld/dyld_shared_cache_arm64e.04
	./System/Library/Caches/com.apple.dyld/dyld_shared_cache_arm64e.05

	import requests

	input_data['success'] = 'false'

	captcha = input_data.get('captcha')
	if captcha is None:
	return input_data

	body = {
	'secret': 'SECRET',

	# fly.toml file generated for notcheckmark on 2022-05-20T23:24:53-04:00

	app = "notcheckmark"

	kill_signal = "SIGINT"
	kill_timeout = 5
	processes = []

	[build]
	image = "ghost:alpine"

	func testFoundationDouble() {
	let locales: [Locale] = [Locale(identifier: "en_US"), Locale(identifier: "de_DE"), Locale(identifier: "es_AR"), Locale(identifier: "es_ES"), Locale(identifier: "es_MX"), Locale(identifier: "fr_FR")]
	let numbers: [Double] = [0.01, 0.1, 1, 1_100.10, 100_000_000]

	for locale in locales {
	let nf = NumberFormatter()
	nf.locale = locale
	nf.groupingSize = 3
	nf.usesGroupingSeparator = true
	nf.minimumSignificantDigits = 2

	CREATE TABLE _SqliteDatabaseProperties (key TEXT, value TEXT, UNIQUE(key));
	CREATE TABLE deleted_messages (ROWID INTEGER PRIMARY KEY AUTOINCREMENT UNIQUE, guid TEXT NOT NULL);
	CREATE TABLE sqlite_sequence(name,seq);
	CREATE TABLE chat_handle_join (chat_id INTEGER REFERENCES chat (ROWID) ON DELETE CASCADE, handle_id INTEGER REFERENCES handle (ROWID) ON DELETE CASCADE, UNIQUE(chat_id, handle_id));
	CREATE TABLE sync_deleted_messages (ROWID INTEGER PRIMARY KEY AUTOINCREMENT UNIQUE, guid TEXT NOT NULL, recordID TEXT );
	CREATE TABLE message_processing_task (ROWID INTEGER PRIMARY KEY AUTOINCREMENT UNIQUE, guid TEXT NOT NULL, task_flags INTEGER NOT NULL );
	CREATE TABLE handle (ROWID INTEGER PRIMARY KEY AUTOINCREMENT UNIQUE, id TEXT NOT NULL, country TEXT, service TEXT NOT NULL, uncanonicalized_id TEXT, person_centric_id TEXT, UNIQUE (id, service) );
	CREATE TABLE sync_deleted_chats (ROWID INTEGER PRIMARY KEY AUTOINCREMENT UNIQUE, guid TEXT NOT NULL, recordID TEXT,timestamp INTEGER);
	CREATE TABLE message_attachment_join

	#!/usr/bin/env python3

	"""
	Copyright 2021 Trail of Bits

	Licensed under the Apache License, Version 2.0 (the "License");
	you may not use this file except in compliance with the License.
	You may obtain a copy of the License at

	http://www.apache.org/licenses/LICENSE-2.0

	# This file describes the network interfaces available on your system
	# For more information, see netplan(5).
	network:
	version: 2
	renderer: networkd
	ethernets:
	enp1s0:
	addresses:
	- 192.168.88.103/24
	gateway4: 192.168.88.1

	#!/usr/bin/env python
	# Copyright 2017 Ryan Stortz (@withzombies)
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software