Libros — compiler internals