Merge "Impose a size bound for dynamically allocated tables in stbl." into klp-dev