Lightweight Abstraction