func-spec