Extracting prompt-integer code