IMPORT (kilobyte): Make entering portal vaults work.