first test of generic case ok