const blkcnt_t = system.blkcnt_t;