size_for_memory
size_for_memory(0x40000000),
extern unsigned long size_for_memory(unsigned long max);