tla: F18A initial spec