a simple example about c++ traits