syntax extensions