Exec "x48 (HP 48GX)" exec x48 &
