function anonymous( ) { return [] }