Updated example with prog injection