In development: An optimizing compiler with safety checks (C, Go, Java, Python)