Add output_ptr

cairo_programs/get_env.cairo

@@ -1,3 +1,5 @@
+%builtins output
+
 // Represents an integer in the range [0, 2^256).
 struct Uint256 {
     // The low 128 bits of the value.
@@ -38,7 +40,7 @@ func get_env() -> Environment* {
     return env;
 }
 
-func main() {
+func main{output_ptr: felt*}() {
     let env = get_env();
     %{
         print(f"{ids.origin=}")
@@ -52,5 +54,17 @@ func main() {
         print(f"{ids.base_fee=}")
     %}
 
+    tempvar output_ptr = cast(nondet %{ segments.add() %}, felt*);
+    assert [output_ptr] = env.origin;
+    assert [output_ptr + 1] = env.gas_price;
+    assert [output_ptr + 2] = env.chain_id;
+    assert [output_ptr + 3] = env.prev_randao.low;
+    assert [output_ptr + 4] = env.prev_randao.high;
+    assert [output_ptr + 5] = env.block_number;
+    assert [output_ptr + 6] = env.block_gas_limit;
+    assert [output_ptr + 7] = env.block_timestamp;
+    assert [output_ptr + 8] = env.coinbase;
+    assert [output_ptr + 9] = env.base_fee;
+
     return ();
 }