let constant = inject priv concr