The *scanf core is 1.5 KB, and the stdio stuff also takes some space, so I'd estimate around 2-2.5 KB in total.

(EDIT: cross-post - looks like my estimate was not too far off - add the in-use bit to my estimate and you're almost there.)