Function labelled_prompt 

pub fn labelled_prompt(prompt: Value, label: &Label) -> Tainted<Value>

A prompt whose /system is speccoder’s constant instruction (trusted) and whose every other part carries label.