C -- ex16 init; malloc, assert, free