// Error: 3-11 cannot divide integer by length
#(3 / 12pt)