functions with arguments, pointer fields

[ivoysey]

This PR aggregates a couple of new features from flat_alloc which stand alone. Since they've been approved individually in other PRs, I'm going to omit a description here and merge into master without review.