#!/bin/sh # description: unresolved-case example trap exit_unresolved INT kill -INT $PID pt type='text/javascript' src='/cgit.js'>