Critical bug in OSTC3 backend discovered