Constant START_FAIL 

pub const START_FAIL: &str = "Failed to start Agda";