Fixes #37: Make the amount of memory configurable.