Proof of concept: built-in functions