Skip to content

ConcreTim: value indication