Just to be on the safe side. Right now the binary consumes roughly 700 000 bytes. Double that and add a a panic amount of roughly 50%, which leaves us at 2 MB.