inlining functions currently theoretically complete