Stated ast_print function