Common compiler-agnostic utilities used across the Prusti project, such as the Viper intermediate representation (VIR). This crate dynamically links to the JVM.