fix type mismatch anywhere int != int32 (Vorne)