Low-level constraints API + new example.