Running seoul-disc script

Hello, I want to boot a guest OS from hard (rather than ram disc and I think the seoul-disc scenario is the best choice to start. When reading the following part of the script,

<config> <policy label="seoul -> VirtualDisk 0" partition="5" writeable="yes"/> <policy label="rump_fs -> " partition="4" writeable="yes"/> </config>

I guess it expect to locate the guest OS boot disk on partition 5, but I cannot figure out what would be placed on partition 4. assuming the script generates the Genode image disk with 3 partitions. How is it supposed to work? Please, find attached the output log as well as the script files I used.