populära namn , nemligen " kung Ostar ".