concrete syntax for param