added a pragma