Fake: use Ast_helper and move back to kernel/