// The following contains the Whalesong runtime.