#t and #f are provided by the runtime.