tok_destatic