Implement RAST.