get_free_base_memory
extern uint32_t get_free_base_memory ( void );
if ( ptr < get_free_base_memory() ) {