Resolve constant attributes
Work on malloc()
Add forgotten code