forced fixed length dynamic memory allocation rule for smack. passed 149 regression testcases.