updated to use Pintos bitmap