Puesto que el único aspecto de las estructuras de datos en C que se pierde en Modula-3 es el tipo unión, todas las implementaciones de Modula-3 dan buena compatibilidad binaria con las declaraciones de tipos de vectores y structs de C.