[ast.gif]