Added a bad implementation of get_free_va_range