Extract constants in pebble code