Exec "x48 (HP 48)" exec x48 &
