Updated for the new bootcompiler that wants Base as argument.