// hello, world
// there are no strings. a ::tuple says what its elements say, glued together,
// and each element is a character type, its own distance from '\0'

::emit<
    ::tuple<
        ::integral_constant<::char, ::difference<'H', '\0'>>,
        ::integral_constant<::char, ::difference<'e', '\0'>>,
        ::integral_constant<::char, ::difference<'l', '\0'>>,
        ::integral_constant<::char, ::difference<'l', '\0'>>,
        ::integral_constant<::char, ::difference<'o', '\0'>>,
        ::integral_constant<::char, ::difference<',', '\0'>>,
        ::integral_constant<::char, ::difference<' ', '\0'>>,
        ::integral_constant<::char, ::difference<'w', '\0'>>,
        ::integral_constant<::char, ::difference<'o', '\0'>>,
        ::integral_constant<::char, ::difference<'r', '\0'>>,
        ::integral_constant<::char, ::difference<'l', '\0'>>,
        ::integral_constant<::char, ::difference<'d', '\0'>>,
        ::integral_constant<::char, ::difference<'!', '\0'>>
    >
>::commit;