let
constant = inject priv concr