#!/bin/bash trap "" SIGRTMIN TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 3` ./loat-static --plain --timeout $TO $1 2> /dev/null