Use Core as stdlib