# Last edited on 2024-11-20 01:29:53 by stolfi (\(.*\)[ ]*[*]) *notnull *( *malloc *( *\(.*\) *[*] *sizeof(\1) *), *"no mem"); → talloc(\2, \1);