anslagsmedel som regeringen tilldelat Boverket för att täcka statens förväntade förlust avseende en garanti , och 3 .