truncated-to args as spec and code