private TypedObject readDSK() throws EncodingException, NotImplementedException
	{
		// DSK is just a DSA + extra set of flags/objects
		TypedObject ret = readDSA();
		ret.type = "DSK";
		
		List<Integer> flags = readFlags();
		for (int i = 0; i < flags.size(); i++)
			readRemaining(flags.get(i), 0);

		return ret;
	}