Bug path

‘pamark’: events 1-5

28	if (p != (AMARK *)NULL) {
	^
	\|
	(1) following ‘false’ branch (when ‘p’ is NULL)...
[...]
31	if ((p = (AMARK )malloc(sizeof(AMARK))) == (AMARK )NULL)
	~ ~~~~~~~~~~~~~~~~~~~~~
	\| \|
	\| (2) ...to here
	\| (3) allocated here
	(4) assuming ‘p’ is non-NULL
	(5) following ‘false’ branch (when ‘p’ is non-NULL)...

‘pamark’: events 6-7

34	p->m_next = (AMARK *)NULL;
	^
	\|
	(6) ...to here
[...]
45	return 1;
	~
	\|
	(7) ‘p’ leaks here; was allocated at (3)