pla: user defined using override