Implement 'def', more specs.