a fairly minimal function call reification class