pub fn counter_value(ctr: &str) -> Result<Number>
Fetches the value associated with the counter C<$ctr>.