Implement 'auto[$]'