Search results for: 'spec fn fast base'