HL-Interp A toy simulator for Micro Policies / Tagged Architecture. Running Run stack test to run all the test cases. Policies Implemented No-op Control Flow Integrity TODO Both the base instruction set and the policy rules are super incomplete.