(codequote $x = 5 )