a runnable version with pretty output