/* Examples for testing */