15231: shell lab.