tests for builtin constructs