(standard-extension 'easy-args '0.6.0)