inferida: eliminar pointless warning
inferida: inferir BRAM "arbitrariamente" grande