Reference Manual for the K3 Programming Language.