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