basic syntax and pretty printing