run '(- x0 5)' '(500)'
495
