tests for auto-created gen_server