Arguments (simple name, type) in def