How to calculate the TCB size