It already exists, MASM and TASM, and related derivatives, with high level control flow pseudo instructions and less UB.