Pretty printing and execution