Es kann daran liegen, dass die Bewegung noch andauert, während deine main mit deinem Gsamtprogramm schon abbricht.
Mach mal eine Endlosschleife vor return.
Du must auch auf den INT0 reagieren: Siehe task_checkINT0();