Add concrete inputs for testing