SQUASH/func_attr_malloc doesn't make sense here