What is #[(6^3 - 9) -: 23]4#?