Tomo: A statically typed, imperative language that cross-compiles to C [video]