+RTS -xbXXXXX sets the "heap base" to 0xXXXXXX