$def with (a, b, c)