-- Function to dig down until bedrock is reached
os.loadAPI("t")

local function digToBedrock()
    while t.digDown() do
        t.down()
        t.right()
        t.dig()
        t.forward()
        t.digUp()
    end
end

-- Main function to start digging
local function main()
    -- Dig down until bedrock is reached
    digToBedrock()
end

-- Call the main function to start digging
main()