AST -> JST