ATMs are designed to have a normal case behaviour and a partition mode behaviour. In partition mode availability is chosen over consistency. The issue is you might withdraw more money than you have so the end result might be consistent, but negative, which can’t be compensated for by asking for the money back, so instead, the bank will change you an overdraft penalty.