TODO: 

fix paren problem in pretty printer. 
add -dyanmic tag to makefile