(Almost) working pre-emptive process scheduling