work on model-based testing for the select() function