dotc search implemented
0.1.0