BUG: Global symbol 'decode' is too general