Libros — imperative programming