(standard-extension 'easy-args '0.5.0)