Libros — zero-cost abstractions