Bad size in inbox allocation, analyzer warning
Bad size in inbox allocation, analyzer warning

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev